A first order logic classifier system

- Mellor, Drew